Nuprl Definition : es-init 11,40

es-init(es;e) == final-iterate(es-pred?(es); e
latex


Definitionsfinal-iterate(fx), es-pred?(es)
FDL editor aliaseses-init

origin